1. Advanced computer architecture :
Author: Chao Li, Junjie Wu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
Classification :
QA76
.
9
.
A73


2. Architecture of computing systems -- ARCS 2018 :
Author: Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
Classification :
QA76
.
9
.
A73
A72
2018eb


3. Artificial intelligence research and development :
Author: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
Classification :
Q334
.
C37
2008eb


4. Biomimetic and Biohybrid Systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Computer network architectures. ; Computer science. ; Computer vision. ; Operating systems (Computers). ; Logic design. ; Artificial Intelligence. ;

5. Biomimetic and Biohybrid Systems :
Author: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
Classification :
T173
.
8
.
L58
2019


6. Data Types and Persistence
Author: edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
9
.
D35
E358
1988


7. Dependable computing--EDCC-1 :
Author: Klaus Echtle, Dieter Hammer, David Powell, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
Classification :
QA76
.
9
.
F38
K538
1994


8. Design, Analysis and Test of Logic Circuits Under Uncertaint
Author: / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
Classification :
E-BOOK

9. Embedded systems :
Author: James K. Peckol, Ph. D., University of Washington.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems.,Object-oriented methods (Computer science),COMPUTERS-- General.,Embedded computer systems.,Object-oriented methods (Computer science)
Classification :
TK7895
.
E42


10. Embedded systems technology :
Author: Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
Classification :
TK7895
.
E42


11. Encyclopedia of management.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
Classification :
HD30
.
15
.
E49
2009


12. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67


13. On the construction of artificial brains /
Author: Ulrich Ramacher, Christoph von der Malsburg, editions
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural circuitry,Neural networks (Computer science),Computer Science-- IT
Classification :
QA76
.
87
.
O5
2010


14. Self-Timed Control of Concurrent Processes
Author: edited by Victor I. Varshavsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.

15. Stabilization, safety, and security of distributed systems :
Author: Taisuke Izumi, Petr Kuznetsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
Classification :
QA76
.
9
.
S54


16. The handbook of software for engineers and scientists /
Author: editor-in-chief, Paul W. Ross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
Classification :
QA76
.
754
.
H35
2018eb


17. Transactions on computational science XXXIII /
Author: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
Classification :
TK5105
.
8857


18. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018


19. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62

